type 'a t (= boxed)
